Propositional dynamic logic is complete but not compact. As a consequence, strong completeness requires an infinitary proof system. In this paper, we present a short proof for strong completeness of $$\mathsf{PDL}$$ relative to an infinitary proof system containing the rule from [α; β n ]φ for all $$n \in {\mathbb{N}}$$, conclude $$[\alpha;\beta^*] \varphi$$. The proof uses a universal canonical model, and it is generalized to other modal logics with infinitary proof rules, such as epistemic knowledge with common knowledge. Also, we (...) show that the universal canonical model of $$\mathsf{PDL}$$ lacks the property of modal harmony, the analogue of the Truth lemma for modal operators. (shrink)

The Fundamental Sequence of Reality: Awareness as the First Cause Abstract The nature of reality has long been debated in philosophy, physics, and cosmology. The dominant paradigm suggests that physical reality emerged through energy interactions following the Big Bang. However, this paper proposes a fundamental shift in perspective: that awareness is the first cause of existence, preceding time, action, energy, and matter. This model aligns with modern quantum mechanics, neuroscience, and ancient metaphysical thought, providing a framework that unifies scientific and (...) philosophical inquiries. This paper explores how awareness initiates creation, the role of time as a coordination system rather than a force, the activation of energy as a response to directed motion, and the emergence of physical reality as the final effect. 1. Introduction The current scientific model postulates that the universe began with a singularity—an infinitely dense state that expanded to form all matter and energy. However, this theory does not explain what existed before the singularity or what caused it to activate. Additionally, the problem of consciousness remains unresolved in science, with competing theories about whether it is emergent or fundamental. This paper presents a new model where awareness exists as the first cause, setting the foundation for all subsequent phenomena. 2. Awareness as the First Cause 2.1 Defining Awareness as a Pre-Physical Reality Awareness, in this model, is not an emergent property of matter but an intrinsic state of existence. This idea is supported by: Orchestrated Objective Reduction (Orch-OR) Theory (Penrose & Hameroff, 2014): It suggests that consciousness exists in a quantum superposition before neural activity occurs, meaning it is fundamental rather than a byproduct of brain processes. The Observer Effect in Quantum Mechanics: The Double-Slit Experiment demonstrates that particles behave as waves until observed, implying that awareness plays a role in the formation of reality (Wheeler, 1983). Philosophical Idealism: Thinkers like Kant, Berkeley, and Chalmers have suggested that perception structures reality rather than reality existing independently. 2.2 Awareness Preceding Physical Existence Since awareness exists independently of time and space, it does not require a cause. The fundamental realization of awareness results in self-questioning, which initiates the unfolding of structured existence. 3. Time as a Coordination System, Not a Primary Force 3.1 Julian Barbour’s “End of Time” Hypothesis Barbour (1999) argues that time is not fundamental but is an emergent property of change. This aligns with: Einstein’s relativity, which shows that time is relative and can be influenced by motion and gravity. Quantum mechanics, which demonstrates that quantum events do not require a linear passage of time. 3.2 Time as a Measurement, Not a Cause This model suggests that time exists to coordinate the unfolding of awareness into structured phenomena, not as a force that causes motion. 4. Energy Release as a Reaction, Not a Primary Cause 4.1 Feynman’s Quantum Electrodynamics (QED) Feynman (1985) demonstrated that energy exists in a probability state until an interaction forces it into action. This means: Energy is not a first principle; it is activated through directed action. The vacuum state of the universe holds dormant energy that is only triggered when conditions allow it. 4.2 The Activation of Energy Energy is released only when awareness initiates action. Without awareness directing the process, energy remains in an unmanifested state. 5. Physical Reality as the Last Step 5.1 The Holographic Principle Physicists such as Gerard ‘t Hooft and Leonard Susskind propose that the universe is a projection of lower-dimensional information. This means: Matter is not fundamental; it emerges as a consequence of deeper, pre-physical structures. Awareness shapes reality at a fundamental level before material existence. 5.2 Consciousness & Quantum Gravity Penrose suggests that wave function collapse is influenced by gravitational effects, implying a connection between consciousness and spacetime itself. 6. Addressing Contradictory Theories 6.1 The Standard Big Bang Model The Big Bang assumes energy was the first principle, but it does not explain why energy became active. This model fixes that issue by proposing that awareness initiates energy release. 6.2 The Copenhagen Interpretation of Quantum Mechanics The Copenhagen Interpretation states that wave function collapse occurs when observed but does not define the observer. This model proposes that awareness is the ultimate observer, explaining why quantum states collapse into defined reality. 7. Implications for Science & Human Understanding This model unifies: Quantum Mechanics & Consciousness: Awareness as a fundamental principle aligns with quantum observation. Physics & Philosophy: Idealism meets empirical research in a coherent framework. Cosmology & Metaphysics: The origin of the universe is explained beyond materialist assumptions. 8. Conclusion By placing awareness as the first cause, we create a framework that bridges science, philosophy, and quantum mechanics. This model explains the missing elements in modern physics and provides a foundation for future exploration. 9. References Barbour, J. (1999). The End of Time: The Next Revolution in Physics. Bohr, N. (1928). "The Quantum Postulate and the Recent Development of Atomic Theory." Nature. Chalmers, D. J. (1995). "Facing up to the problem of consciousness." Journal of Consciousness Studies. Einstein, A. (1915). "General Theory of Relativity." Feynman, R. P. (1985). QED: The Strange Theory of Light and Matter. Guth, A. H. (1981). "Inflationary universe: A possible solution to the horizon and flatness problems." Physical Review D. Penrose, R. & Hameroff, S. (2014). "Consciousness in the universe: A review of the ‘Orch OR’ theory." Physics of Life Reviews. Susskind, L. (1995). "The World as a Hologram." Journal of Mathematical Physics. Wheeler, J. A. (1983). "Law without law." Quantum Theory and Measurement. (shrink)

Teachers encountered numerous challenges posed by the COVID-19 outbreak. Herewith, this study aimed to determine the challenges encountered by Filipino teachers in the new normal and their coping mechanisms. This study employed a qualitative inquiry to determine the challenges encountered and coping mechanisms employed by teachers amid modular instruction, involving 10 teachers from five secondary schools in the Philippines who participated voluntarily. Data were gathered through a written narrative from each participant and were analyzed thematically. Themed findings showed that these (...) teachers are greatly challenged in terms of learning quality transfer, module distribution and retrieval, students’ difficulties in following instruction, power disruption, internet connection, and health risks posed by the pandemic. Nevertheless, these teachers dealt with these difficulties by employing their own coping techniques. Teaching can be challenging and frustrating, especially in these difficult times, but as these teachers demonstrated, everything is possible. Hence, educators must be ready for any situation that may arise. This situation is unlikely to get better anytime soon; instead, teachers will need to adjust to and accept this reality. (shrink)

Machine learning algorithms may radically improve our ability to diagnose and treat disease. For moral, legal, and scientific reasons, it is essential that doctors and patients be able to understand and explain the predictions of these models. Scalable, customisable, and ethical solutions can be achieved by working together with relevant stakeholders, including patients, data scientists, and policy makers.

It is sometimes argued that, given its detachment from our current most successful science, analytic metaphysics has no epistemic value because it contributes nothing to our knowledge of reality. Relatedly, it is also argued that metaphysics properly constrained by science can avoid that problem. In this paper we argue, however, that given the current understanding of the relation between science and metaphysics, metaphysics allegedly constrained by science suffers the same fate as its unconstrained sister; that is, what is currently thought (...) of as scientifically respectful metaphysics may end up also being without epistemic value. The core of our claim is that although much emphasis is put on the supposed difference between unconstrained analytic metaphysics, in opposition to scientifically constrained metaphysics, it is largely forgotten that no clear constraining relation of metaphysics by science is yet available. (shrink)

The study aimed to identify the knowledge management processes and their role in achieving competitive advantage at Al-Quds Open University. The study was based on the descriptive analytical method, and the study population consists of academic and administrative staff in each of the branches of Al-Quds Open University in (Tulkarm, Nablus and Jenin). The researchers selected a sample of the study population by the intentional non-probability method, the size of (70) employees. A questionnaire was prepared and supervised by a number (...) of specialists in order to obtain the results of the study. The study concluded that there is a positive direct relationship, that is, the higher the degree of application of knowledge management processes, the greater the degree of competitive advantage. Knowledge Technology came first with a score of 80.02% on all items. Competitive advantage came second with 81.74%. In the third place came "knowledge generation" where the total score on all paragraphs in this area (78.24%). In the fourth place, "knowledge transfer" (77.21%). "Developing and storing knowledge" came in fifth place (77.13%). "Acquisition of knowledge" came in sixth place (76.45%). Knowledge Organization ranked seventh (74.26%). The study recommended that the university should enable the employees to benefit from the experiences and expertise available to help generate knowledge. The University encourages the creation of knowledge through the system of incentives and open the way for creators to apply their creations and spread and invest in excellence and creativity. The university should design work performance levels based on the integration of knowledge and organize it according to policies that support freedom of research. The need for Palestinian universities to adopt a knowledge management approach. The need to adopt a system of incentives that rewards cognitive efforts, and give workers enough freedom to enable them to apply their knowledge. (shrink)

This paper presents and critically discusses the “logos approach to quantum mechanics” from the point of view of the current debates concerning the relation between metaphysics and science. Due to its alleged direct connection with quantum formalism, the logos approach presents itself as a better alternative for understanding quantum mechanics than other available views. However, we present metaphysical and methodological difficulties that seem to clearly point to a different conclusion: the logos approach is on an epistemic equal footing among alternative (...) realist approaches to quantum mechanics. (shrink)

The revival of analytic metaphysics in the latter half of the twentieth century is typically understood as a consequence of the critiques of logical positivism, Quine’s naturalization of ontology, Kripke’s Naming and Necessity, clarifications of modal notions in logic, and the theoretical exploitation of possible worlds. However, this explanation overlooks the work of metaphysicians at the height of positivism and linguisticism that affected metaphysics of the late twentieth century. Donald C. Williams is one such philosopher. In this paper I explain (...) how Williams’s fundamental ontology and philosophy of time influenced in part the early formation of David Lewis’s metaphysics. Thus, Williams played an important role in the revival of analytic metaphysics. (shrink)

Deontological evidentialism is the claim that we ought to form and maintain our beliefs in accordance with our evidence. In this paper, I criticize two arguments in its defense. I begin by discussing Berit Broogard’s use of the distinction between narrow-scope and wide-scope requirements against W.K. Clifford’s moral defense of. I then use this very distinction against a defense of inspired by Stephen Grimm’s more recent claims about the moral source of epistemic normativity. I use this distinction once again to (...) argue that Hilary Kornblith’s criticism of Richard Feldman’s defense of is incomplete. Finally, I argue that Feldman’s defense is insensitive to the relation between normative requirements and privileged values: values that have normative authority over us. (shrink)

‘Shallow’ and ‘deep’ versions of scientific realism may be distinguished as follows: the shallow realist is satisfied with belief in the existence of the posits of our best scientific theories; by contrast, deep realists claim that realism can be legitimate only if such entities are described in metaphysical terms. We argue that this methodological discussion can be fruitfully applied in Everettian quantum mechanics, specifically on the debate concerning the existence of worlds and the recent dispute between Everettian actualism and quantum (...) modal realism. After presenting what is involved in such dispute, we point to a dilemma for realists: either we don’t have the available metaphysical tools to answer the deep realist’s demands, and realism is not justified in this case, or such demands of metaphysical dressing are not mandatory for scientific realism, and deep versions of realism are not really required. (shrink)

Deontological internalism is the family of views where justification is a positive deontological appraisal of someone's epistemic agency: S is justified, that is, when S is blameless, praiseworthy, or responsible in believing that p. Brian Weatherson discusses very briefly how a plausible principle of ampliative transmission reveals a worry for versions of deontological internalism formulated in terms of epistemic blame. Weatherson denies, however, that similar principles reveal similar worries for other versions. I disagree. In this article, I argue that plausible (...) principles of ampliative transmission reveal a worry for deontological internalism in general. (shrink)

In the middle of last century metaphysics was widely criticized, ridiculed, and committed to the flames. During this period a handful of philosophers, against several anti-metaphysical trends, defended metaphysics and articulated novel metaphysical doctrines. Donald C. Williams was one of these philosophers. But while his contributions to metaphysics are well known his defence of metaphysics is not and yet it played a key part in the development and revival of metaphysics. In this paper I present his defence of metaphysics in (...) its historical context. I also show how his defence is relevant in response to recent attacks on metaphysics. (shrink)

This paper defends a novel account of how to determine the intrinsic value of possible worlds. Section 1 argues that a highly intuitive and widely accepted account leads to undesirable consequences. Section 2 takes the first of two steps towards a novel account by clarifying and defending a view about value-contribution that is based on some of W. D. Ross’ claims about the value of pleasure. Section 3 takes the second step by clarifying and defending a view about value-suppression that (...) is based on Ross’ claims about the interplay between prima-facie duties. Section 4 states and defends the account that I call Rossian Totalism. According to this account, the atoms of intrinsic value within a world only sometimes contribute their intrinsic value to the value of that world. (shrink)

My argument in this paper is that humility is implied in the concept of teaching, if teaching is construed in a strong sense. Teaching in a strong sense is a view of teaching as linked to students’ embodied experiences (including cognitive and moral-social dimensions), in particular students’ experiences of limitation, whereas a weak sense of teaching refers to teaching as narrowly focused on student cognitive development. In addition to detailing the relation between humility and strong sense teaching, I will also (...) argue that humility is acquired through the practice of teaching. My discussion connects to the growing interest, especially in virtue epistemology discourse, in the idea that teachers should educate for virtues. Drawing upon John Dewey and contemporary virtue epistemology discourse, I discuss humility, paying particular attention to an overlooked aspect of humility that I refer to as the educative dimension of humility. I then connect this concept of humility to the notion of teaching in a strong sense. In the final section, I discuss how humility in teaching is learned in the practice of teaching by listening to students in particular ways. In addition, I make connections between my concept of teaching and the practice of cultivating students’ virtues. I conclude with a critique of common practices of evaluating good teaching, which I situate within the context of international educational policy on teacher evaluation. (shrink)

Several prominent contemporary philosophers, including Jürgen Habermas, John Caputo, and Robert Bernasconi, have at times painted a somewhat negative picture of Gadamer as not only an uncritical traditionalist, but also as one whose philosophical project fails to appreciate difference. Against such claims, I argue that Gadamer’s reflections on art exhibit a genuine appreciation for alterity not unrelated to his hermeneutical approach to the other. Thus, by bringing Gadamer’s reflections on our experience of art into conversation with key aspects of his (...) philosophical hermeneutics, we are able to better assess the viability of Gadamer’s contributions to contemporary discussions of difference and alterity. -/- Sections two through six focus on key concepts in Gadamer’s account of art’s dynamic ontology and our experience of art. Such concepts include the play structure of art, hermeneutic identity, tarrying with a work, and contemporaneity. The opening sections provide not only a discussion of these central themes, but they also (1) draw attention to the various ways in which difference and otherness are integral to Gadamer’s account, and (2) utilize relevant musical examples that prepare the reader for a more focused discussion of a Gadamerian approach to free jazz in section seven. By highlighting how Gadamer’s understanding of art possesses a dialogical play structure, is characterized by identity and difference, requires actively engaged spectators and auditors, and is amenable to what many criticize as an unintelligible musical expression, viz. free jazz, Gadamer’s project is shown as other-affirming and open to ambiguity and dynamism. That is, the essential structures and concepts characterizing Gadamer’s reflections on art are likewise central to his overall hermeneutical project, and hence are not rightly described as un-attuned to difference or other-negating. Rather, Gadamer’s philosophical project upholds difference, since it requires a dialogical interplay between self and other that creates the possibility for a transformative experience. (shrink)

The claim that ordinary ethical discourse is typically true and that ethical facts are typically knowable seems in tension with the claim that ordinary ethical discourse is about features of reality friendly to a scientific worldview. Cornell Realism attempts to dispel this tension by claiming that ordinary ethical discourse is, in fact, discourse about the same kinds of things that scientific discourse is about: natural properties. We offer two novel arguments in reply. First, we identify a key assumption that we (...) find unlikely to be true. Second, we identify two features of typical natural properties that ethical properties lack. We conclude that Cornell Realism falls short of dispelling the tension between ethical conservativism and ethical naturalism. (shrink)

Within the Anglo-American world, economic liberalism is generally viewed as having only one progenitor—Adam Smith—and one offspring—neoliberalism. But it actually has two. The work of G. W. F. Hegel was also very influential on the development of economic liberalism, at least in the German-speaking world, and the most powerful contemporary instantiation of economic liberalism within that world is not neoliberlaism, but ordoliberalism, although this is generally unknown and certainly unacknowledged outside of Continental Europe. Accordingly, what I am going to be (...) doing in this piece is trying to bring ordoliberalism more directly into the light—I will argue that by comparing and contrasting the views of Smith and Hegel or at least between how Smith and Hegel tend to be currently (mis)understood, we can better understand both the roots and the nature of these two contemporary incarnations of economic liberalism, and the light this sheds, in turn, brings some interesting and important features of these two contemporary theories into view. From Smith, for example, neoliberals took the idea of the invisible hand, although I am going to argue that contemporary advocates of invisible hand theory have largely misconstrued or at the very least overstated the significance of this metaphor. From Hegel, in contrast, ordoliberals took the idea of the civil society, and I will argue that the civil society is a much better metaphor not only for Hegel's but also for Smith's views. Indeed, I will argue that ordoliberalism, not neoliberalism, is a better and more coherent instantiation of economic liberalism than neoliberalism could ever be. (shrink)

I try to return the focus of the philosophy of history to the nature of understanding, with a particular emphasis on Louis Mink’s project of exploring how historical understanding compares to the understanding we find in the natural sciences. On the whole, I come to a conclusion that Mink almost certainly would not have liked: that the understanding offered by history has a very similar epistemic profile to the understanding offered by the sciences, a similarity that stems from the fact (...) that both are concerned with grasping how the objects of their study are structured, or how the various elements of the things they study depend upon and relate to one another. At the same time, however, I claim that historical inquiry naturally puts us in a position to acquire further epistemic goods, including the old-fashioned epistemic good of wisdom, which is plausibly constituted by knowledge of how to live well. This is something the natural sciences cannot offer, and it is part of the reason why history is such an important form of inquiry. (shrink)

I apply the notion of truthmaking to the topic of fundamentality by articulating a truthmaker theory of fundamentality according to which some truths are truth-grounded in certain entities while the ones that don't stand in a metaphysical-semantic relation to the truths that do. I motivate this view by critically discussing two problems with Ross Cameron's truthmaker theory of fundamentality. I then defend this view against Theodore Sider's objection that the truthmaking approach to fundamentality violates the purity constraint. Truthmaker theorists can (...) have a trouble-free theory of fundamentality. (shrink)

The paper explores the handling of singular analogy in quantitative inductive logics. It concentrates on two analogical patterns coextensive with the traditional argument from analogy: perfect and imperfect analogy. Each is examined within Carnap’s λ-continuum, Carnap’s and Stegmüller’s λ-η continuum, Carnap’s Basic System, Hintikka’s α-λ continuum, and Hintikka’s and Niiniluoto’s K-dimensional system. Itis argued that these logics handle perfect analogies with ease, and that imperfect analogies, while unmanageable in some logics, are quite manageable in others. The paper concludes with a (...) modification of the K-dimensional system that synthesizes independent proposals by Kuipers and Niiniluoto. (shrink)

IPCC SPECIAL REPORT ON CLIMATE CHANGE AND LAND (SRCCL) -/- Chapter 3: Climate Change and Land: An IPCC special report on climate change, desertification, land degradation, sustainable land management, food security, and greenhouse gas fluxes in terrestrial ecosystems.

Confused terms appear to signify more than one entity. Carnap maintained that any putative name that is associated with more than one object in a relevant universe of discourse fails to be a genuine name. Although many philosophers have agreed with Carnap, they have not always agreed among themselves about the truth-values of atomic sentences containing such terms. Some hold that such atomic sentences are always false, and others claim they are always truth-valueless. Field maintained that confused terms can still (...) refer, albeit partially, and offered a supervaluational account of their semantic properties on which some atomic sentences with confused terms can be true. After outlining many of the most important theoretical considerations for and against various semantic theories for such terms, we report the results of a study designed to investigate which of these accounts best accords with the truth-value judgments of ordinary language users about sentences containing these terms. We found that naïve participants view confused names as capable of successfully referring to one or more objects. Thus, semantic theories that judge them to involve total reference failure do not comport well with patterns of ordinary usage. (shrink)

We consider the varieties and directions of influence that the source and target domains involved in a conceptual metaphor can have on each other during the course of understanding metaphorical utterances based on the metaphor. Previous studies have been restricted both as to direction of influence and as to type of influence. They have been largely confined to the “forward” (source to target) direction of influence, and they have concentrated on the transfer of features or propositions and (to some extent) (...) the highlighting of aspects of a domain. By contrast, this article stresses the importance both of other varieties of influence (e.g., transfer of queries and uncertainty effects) and of “reverse” influence (target to source). We seek to curb the natural tendency to think that, because metaphor involves an overall move from source to target, therefore all inter-domain influences in the course of understanding go in that direction. The bulk of the article explores the theoretical issues involved. These issues have arisen out of a reasoning-based approach to metaphor, seeking to make best use of information from metaphorical utterance, context, source and target domains, and known metaphorical mappings, by applying a complex overall reasoning process. The article briefly explains the thorough implementation of reverse influence in a computer program for metaphorical reasoning called ATT-Meta, although the theoretical considerations are relevant to all disciplines concerned with metaphor. We make some suggestions for further computational and psychological research on metaphor. (shrink)

Traditionally, being a realist about something means believing in the independent existence of that something. In this line of thought, a scientific realist is someone who believes in the objective existence of the entities postulated by our best scientific theories. In metaphysical terms, what does that mean? In ontological terms, i.e., in terms of what exists, scientific realism can be understood as involving the adoption of a scientifically informed ontology. But according to some philosophers, a realistic attitude must go beyond (...) ontology. The way in which this requirement has been understood involves providing a metaphysics for the entities postulated by science, that is, answering questions about the nature of what ontology admits to exist. We discuss how two fashionable approaches face the challenge of providing a metaphysics for science: a form of naturalism and the Viking/Toolbox approach. Finally, we present a third way, which adopts the best of both approaches: the meta-Popperian method, which focuses on discarding the wrong alternatives, or better saying, the metaphysical profiles incompatible with certain theories. We present the meta-Popperian method, a metametaphysical method capable of objectively assessing which metaphysical profiles are incompatible with certain scientific theories. For this, we will use quantum mechanics as a case study, presenting some previously obtained results. As our focus is on methodological questions about the relationship between metaphysics and science; with this method, we can see how science can be used to avoid error in metaphysical issues. In our opinion, this would be a way to develop a productive relationship between science and metaphysics. (shrink)

In real-time, Twitter strongly imprints world events, popular culture, and the day-to-day; Twitter records an ever growing compendium of language use and change; and Twitter has been shown to enable certain kinds of prediction. Vitally, and absent from many standard corpora such as books and news archives, Twitter also encodes popularity and spreading through retweets. Here, we describe Storywrangler, an ongoing, day-scale curation of over 100 billion tweets containing around 1 trillion 1-grams from 2008 to 2020. For each day, we (...) break tweets into 1-, 2-, and 3-grams across 150+ languages, record usage frequencies, and generate Zipf distributions. We make the data set available through an interactive time series viewer, and as downloadable time series and daily distributions. We showcase a few examples of the many possible avenues of study we aim to enable including how social amplification can be visualized through ‘contagiograms’. (shrink)

Vaccination complacency occurs when perceived risks of vaccine-preventable diseases are sufficiently low so that vaccination is no longer perceived as a necessary precaution. Disease outbreaks can once again increase perceptions of risk, thereby decrease vaccine complacency, and in turn decrease vaccine hesitancy. It is not well understood, however, how change in perceived risk translates into change in vaccine hesitancy. -/- We advance the concept of vaccine propensity, which relates a change in willingness to vaccinate with a change in perceived risk (...) of infection—holding fixed other considerations such as vaccine confidence and convenience. (shrink)

ABSTRACT Traditionally, being a realist about something means believing in the independent existence of that something. In this line of thought, a scientific realist is someone who believes in the objective existence of the entities postulated by our best scientific theories. In metaphysical terms, what does that mean? In ontological terms, i.e., in terms of what exists, scientific realism can be understood as involving the adoption of a scientifically informed ontology. But according to some philosophers, a realistic attitude must go (...) beyond ontology. The way in which this requirement has been understood involves providing a metaphysics for the entities postulated by science, that is, answering questions about the nature of what ontology admits to exist. We discuss how two fashionable approaches face the challenge of providing a metaphysics for science: a form of naturalism and the Viking/Toolbox approach. Finally, we present a third way, which adopts the best of both approaches: the meta-Popperian method, which focuses on discarding the wrong alternatives, or better saying, the metaphysical profiles incompatible with certain theories. We present the meta-Popperian method, a metametaphysical method capable of objectively assessing which metaphysical profiles are incompatible with certain scientific theories. For this, we will use quantum mechanics as a case study, presenting some previously obtained results. As our focus is on methodological questions about the relationship between metaphysics and science; with this method, we can see how science can be used to avoid error in metaphysical issues. In our opinion, this would be a way to develop a productive relationship between science and metaphysics. (shrink)

Despite the enormity of the financial losses flowing from the 2008 financial crisis and the outrageousness of the conduct that led up to it, almost no individual involved has been prosecuted for criminal conduct, much less actually gone to prison. What this chapter argues is that the failure to punish those in management for their role in this misconduct stems from a misunderstanding of the need to prove that they personally knew of this wrongdoing and harbored an intent to defraud. (...) But not only would negligence be a sufficient legal and moral basis for imposing terms of imprisonment in these cases, mere causal responsibility would also be enough, for causal responsibility has embed in it all we need to find those causally responsible morally responsible too, and once some basis for moral responsibility is established, the imposition of terms of imprisonment is both legally permitted and morally just. (shrink)

Over the last decade, multi-agent systems have come to form one of the key tech- nologies for software development. The Formal Approaches to Multi-Agent Systems (FAMAS) workshop series brings together researchers from the fields of logic, theoreti- cal computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems. FAMAS addresses the issues of logics for multi-agent systems, formal methods for verification, for example model check- ing, and formal approaches to cooperation, multi-agent planning, communication, (...) coordination, negotiation, games, and reasoning under uncertainty in a distributed environment. In 2007, the third FAMAS workshop, FAMAS'007, was one of the agent workshops gathered together under the umbrella of Multi-Agent Logics, Languages, and Organ- isations - Federated Workshops, MALLOW'007, taking place from 3 to 7 September 2007 in Durham. This current special issue of the Logic Journal of the IGPL gathers together the revised and updated versions of the five best FAMAS'007 contributions. (shrink)

Aside from bioethics, the main theme of Ronald Green's lifework has been an exploration of the relation between religion and morality, with special emphasis on the philosophies of Immanuel Kant and Søren Kierkegaard. This essay summarizes and assesses his work on this theme by examining, in turn, four of his relevant books. Religious Reason introduced a new method of comparative religion based on Kant's model of a rational religion. Religion and Moral Reason expanded on this project, clarifying that religious traditions (...) cannot be reduced to their moral grounding. Kierkegaard and Kant: The Hidden Debt offered bold new evidence that Kant, not Hegel, was the philosopher whose ideas primarily shaped Kierkegaard's overtly religious philosophy; both philosophers focused on the problem of how to understand the relation between moral reasoning and historical religion. And Kant and Kierkegaard on Time and Eternity republished ten essays that explore various aspects of this theme in greater depth. I argue that throughout these works Green defends a “paradox of inwardness”: principles or ideals that are by their nature essentially inward end up requiring outward manifestation in order to be confirmed or fully justified as real. (shrink)

This special issue of the Logic Journal of the IGPL includes revised and updated versions of the best work presented at the fourth edition of the workshop Formal Ap- proaches to Multi-Agent Systems, FAMAS'09, which took place in Turin, Italy, from 7 to 11 September, 2009, under the umbrella of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW). -/- Just like its predecessor, research reported in this FAMAS 2009 special issue is very much inspired by practical concerns. This time (...) the authors of all the five selected papers are concerned with knowledge and beliefs in multi-agent settings: How to create a group belief in a fair way from individual plausibility orderings? How to close gaps and resolve ambiguities in a tractable way, when information comes from multiple sources? How to reason about a spatial environment? How to compare the strengths of an agent's beliefs in a principled way? How to decide as efficiently as possible whether a given formula concerning group beliefs is valid? These questions and their answers lead to a multi-faceted and at the same time coherent special issue. We concisely introduce the five articles. (shrink)

Enrique Dussel and John Dewey share commitments to philosophical theory and practice aimed at addressing human problems, democratic modes of inquiry, and progressive social reform, but also maintain productive differences in their fundamental starting point for political philosophy and their use of the social sciences. Dussel provides a corrective to Dewey’s Eurocentrism and to his tendency to underplay the challenges of incorporating marginalized populations by insisting that social and political philosophy begin from the perspective of the marginalized and excluded. Simultaneously, (...) Dewey encourages a modest experimental and fallibilist approach to social transformation that promises more feasible social reforms than Dussel’s approach rooted in phenomenology and the critical social sciences. (shrink)

A classic, though basically neglected question about motivation arises when we attempt to account for blame’s nature—namely, does the recognition central to blame need help from an independent desire in order to motivate the blame-characteristic dispositions that arise in the blamer? Those who have attended to the question think the answer is yes. Hence, they adopt what I call a Humean Construal of blame on which blame is (a) a judgment that an individual S is blameworthy and (b) an independent (...) desire about S not doing as they did or being as they are. This paper rejects arguments for the Humean Construal, illustrates deep failings of that view, and uses these considerations to support anti-Humean accounts of blame in particular and moral motivation more broadly. (shrink)

There is an important sense in which one can be sure without being certain, i.e., without assigning unit probability. I will offer an explication of this sense of sureness, connecting it with the level of credence that a rational agent would need to have to be confident that she won’t ever lose her confidence. A simple formal result then gives us an explicit formula connecting the threshold α for credence needed for confidence with the threshold needed for being sure: one (...) needs 1−(1−α) to be sure. I then suggest that stepping between α and 1−(1−α) gives a procedure that generates an interesting hierarchy of credential thresholds. (shrink)

Statistics play a critical role in biological and clinical research. However, most reports of scientific results in the published literature make it difficult for the reader to reproduce the statistical analyses performed in achieving those results because they provide inadequate documentation of the statistical tests and algorithms applied. The Ontology of Biological and Clinical Statistics (OBCS) is put forward here as a step towards solving this problem. Terms in OBCS, including ‘data collection’, ‘data transformation in statistics’, ‘data visualization’, ‘statistical data (...) analysis’, and ‘drawing a conclusion based on data’, cover the major types of statistical processes used in basic biological research and clinical outcome studies. OBCS is aligned with the Basic Formal Ontology (BFO) and extends the Ontology of Biomedical Investigations (OBI), an OBO (Open Biological and Biomedical Ontologies) Foundry ontology supported by over 20 research communities. We discuss two examples illustrating how the ontology is being applied. In the first (biological) use case, we describe how OBCS was applied to represent the high throughput microarray data analysis of immunological transcriptional profiles in human subjects vaccinated with an influenza vaccine. In the second (clinical outcomes) use case, we applied OBCS to represent the processing of electronic health care data to determine the associations between hospital staffing levels and patient mortality. Our case studies were designed to show how OBCS can be used for the consistent representation of statistical analysis pipelines under two different research paradigms. By representing statistics-related terms and their relations in a rigorous fashion, OBCS facilitates standard data analysis and integration, and supports reproducible biological and clinical research. (shrink)

In this paper I argue for a theory of punishment I call Multilateral Retributivism. Typically retributive notions of justice are unilateral: focused on one person’s desert. I argue that our notions of desert are multilateral: multiple people are owed when a moral crime is committed. I argue that the purpose of punishment is communication with the end-goal of reconciling the offender to society. This leads me to conclude that the death penalty and life without parole are unjustified because they necessarily (...) cut communication short. (shrink)

As so often in philosophy, the title not only lays down the battle line but exposes the author’s biases and mistakes, since whether or not we can make sense of the language game ‘Seeing things as they are’ and whether it’s possible to have a ‘philosophical’ ‘theory of perception’ (which can only be about how the language of perception works), as opposed to a scientific one, which is a theory about how the brain works, are exactly the issues. This is (...) classic Searle—superb and probably at least as good as anyone else can produce, but lacking a full understanding of the fundamental insights of the later Wittgenstein and with no grasp of the two systems of thought framework, which could have made it brilliant. As in his previous work, Searle largely avoids scientism but there are frequent lapses and he does not grasp that the issues are always about language games, a failing he shares with nearly everyone. After providing a framework consisting of a Table of Intentionality based on the two systems of thought and thinking and decision research, I give a detailed analysis of the book. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019). (shrink)

Interactions are important in establishing deep and meaningful learning experiences for learners in a distance education setup. Of all the activities in an online classroom, the discussion forum proved to be the one that had the most interactions. A discussion forum lets learners interact with the content, peers, and teachers. Participation in these learning activities is one important factor. The more the learners participate, the more they learn. This paper uses the researcher’s experience in determining what participation is in an (...) online learning experience. After reviewing the experience, participation in a discussion forum is defined as a self-induced connection to the learning community to receive and share knowledge to bring a deeper understanding of a certain theory or phenomenon.” There are conditions for a behavior or action that can be considered participation. The more conditions the behavior met, the higher the level of participation it led. The conditions are the learner analyzes an abstract theory or concept and relates it to practice or experience; the learner views other people’s perspectives regarding the subject and synthesizes a stronger and deeper understanding of the acquired knowledge; the learner communicates the acquired understanding of a certain subject that induces a validation or further inquiry; lastly, the learner constructed a train of premeditated discourse that leads to the understanding of a certain subject. (shrink)